[[Category of topological spaces]] # Regular monomorphisms in $\Top$ Let $f \in \Top(X,Y)$. Then $f$ is a [[embedding]] iff it is a [[Regular monomorphism]]. #m/thm/topology > [!missing]- Proof > #missing/proof > See <https://ncatlab.org/nlab/show/regular+monomorphism#Examples> # --- #state/stub | #lang/en | #SemBr